Limit curve theorems in Lorentzian geometry

The subject of limit curve theorems in Lorentzian geometry is reviewed. A general limit curve theorem is formulated which includes the case of converging curves with endpoints and the case in which the limit points assigned since the beginning are one, two or at most denumerable. Some applications are considered. It is proved that in chronological spacetimes, strong causality is either everywhere verified or everywhere violated on maximizing lightlike segments with open domain. As a consequence, if in a chronological spacetime two distinct lightlike lines intersect each other then strong causality holds at their points. Finally, it is proved that two distinct components of the chronology violating set have disjoint closures or there is a lightlike line passing through each point of the intersection of the corresponding boundaries.Comment: 25 pages, 1 figure. v2: Misprints fixed, matches published versio

Evolution models for mass transportation problems

We present a survey on several mass transportation problems, in which a given mass dynamically moves from an initial configuration to a final one. The approach we consider is the one introduced by Benamou and Brenier in [5], where a suitable cost functional $F(\rho,v)$, depending on the density $\rho$ and on the velocity $v$ (which fulfill the continuity equation), has to be minimized. Acting on the functional $F$ various forms of mass transportation problems can be modeled, as for instance those presenting congestion effects, occurring in traffic simulations and in crowd motions, or concentration effects, which give rise to branched structures.Comment: 16 pages, 14 figures; Milan J. Math., (2012

Less Minimal Flavour Violation

We consider the approximate U(2)^3 flavour symmetry exhibited by the quark sector of the Standard Model and all its possible breaking terms appearing in the quark Yukawa couplings. Taking an Effective Field Theory point of view, we determine the current bounds on these parameters, assumed to control the breaking of flavour in a generic extension of the Standard Model at a reference scale Lambda. In particular, a significant bound from epsilon'/epsilon is derived, which is relevant to Minimal Flavour Violation as well. In the up-quark sector, the recently observed CP violation in D -> pi+ pi-, K+ K- decays might be accounted for in this generic framework, consistently with any other constraint.Comment: 15 pages, 1 figur

The heart of a convex body

We investigate some basic properties of the {\it heart} $\heartsuit(\mathcal{K})$ of a convex set $\mathcal{K}.$ It is a subset of $\mathcal{K},$ whose definition is based on mirror reflections of euclidean space, and is a non-local object. The main motivation of our interest for $\heartsuit(\mathcal{K})$ is that this gives an estimate of the location of the hot spot in a convex heat conductor with boundary temperature grounded at zero. Here, we investigate on the relation between $\heartsuit(\mathcal{K})$ and the mirror symmetries of $\mathcal{K};$ we show that $\heartsuit(\mathcal{K})$ contains many (geometrically and phisically) relevant points of $\mathcal{K};$ we prove a simple geometrical lower estimate for the diameter of $\heartsuit(\mathcal{K});$ we also prove an upper estimate for the area of $\heartsuit(\mathcal{K}),$ when $\mathcal{K}$ is a triangle.Comment: 15 pages, 3 figures. appears as "Geometric Properties for Parabolic and Elliptic PDE's", Springer INdAM Series Volume 2, 2013, pp 49-6

Pseudo-transient Continuation, Solution Update Methods, and CFL Strategies for DG Discretizations of the RANS-SA Equations

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/106459/1/AIAA2013-2686.pd

Scheduling access to shared space in multi-robot systems

Through this study, we introduce the idea of applying scheduling techniques to allocate spatial resources that are shared among multiple robots moving in a static environment and having temporal constraints on the arrival time to destinations. To illustrate this idea, we present an exemplified algorithm that plans and assigns a motion path to each robot. The considered problem is particularly challenging because: (i) the robots share the same environment and thus the planner must take into account overlapping paths which cannot happen at the same time; (ii) there are time deadlines thus the planner must deal with temporal constraints; (iii) new requests arrive without a priori knowledge thus the planner must be able to add new paths online and adjust old plans; (iv) the robot motion is subject to noise thus the planner must be reactive to adapt to online changes. We showcase the functioning of the proposed algorithm through a set of agent-based simulations

Influencia de un cosechado nocturno de aceitunas en “Salento” sobre la calidad del aceite de oliva virgen extra

In southern Italy, some olive cultivars such as ‘Ogliarola Salentina’ ripen when the day temperature is still high, at up to 28 to 30 °C. This can affect both the oil quality and the expression of its valuable characteristics. In addition, it increases the risk of undesirable fermentation that can generate off-flavors. In the present study, nocturnal olive harvesting was carried out to determine the influence that temperature can have on the characteristics of the extra virgin olive oil, and particularly on the volatile and oxidative compounds. The data obtained are encouraging: the lower temperatures that occur during the night appear to have a particular and positive impact on the organoleptic characteristics of the extra virgin olive oil produced, with enhanced formation of the volatile compounds that contribute to the ‘green’ notes of the flavor. In areas where daytime temperatures are very high, the nocturnal harvesting of olives at the correct stage of maturity therefore represents a good agronomic practice for the production of oils with high organoleptic and nutritional merit.En el sur de Italia, algunas variedades de olivo maduran cuando la temperatura del día sigue siendo alta, hasta 28 °C a 30 °C. Esto puede perjudicar la calidad del aceite y a la expresión de sus valiosas características, y aumenta el riesgo de fermentación indeseable que puede generar malos sabores. En el presente estudio, la cosecha nocturna de aceitunas se llevó a cabo para determinar la influencia que la temperatura puede tener sobre las características del aceite de oliva virgen extra, y en particular sobre los compuestos volátiles y los compuestos relacionados con la oxidación. Los datos obtenidos son alentadores: las temperaturas más bajas que se producen durante la noche parecen tener un impacto positivo en las características organolépticas del aceite de oliva virgen extra producido, con una mejora de la formación de los compuestos volátiles que contribuyen a las notas “verdes” del sabor. En las zonas donde las temperaturas diurnas son muy altas, la cosecha nocturna de aceitunas, representa, por tanto, una buena práctica agronómica para la producción de aceites con grandes ventajas organoléptica y nutritivas

Component-Based Real-Time Operating System for Embedded Applications

Acceptance rate: 37%, Rank (CORE): AInternational audienceAs embedded systems must constantly integrate new functionalities, their developement cycles must be based on high-level abstractions, making the software design more flexible. CBSE provides an approach to these new requirements. However, low-level services provided by operating systems are an integral part of embedded applications, furthermore deployed on resource-limited devices. Therefore, the expected benefits of CBSE must not impact on the constraints imposed by the targetted domain, such as memory footprint, energy consumption, and execution time. In this paper, we present the componentization of a legacy industry-established Real-Time Operating System, and how component-based applications are built on top of it. We use the Think framework that allows to produce flexible systems while paying for flexibility only where desired. Performed experimentions show that the induced overhead is negligeable